退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:展出的正式数学:Flyspeck的维基
Carst Tankink; Cezary Kaliszyk; Josef Urban; Herman Geuvers;
机译:在大学数学课程中有效使用Wiki
机译:将当前的研究,Wiki和讨论列表纳入数学顶点课程
机译:计算争议:用于检测Wikipedia和搜索查询中争议的正式模型和算法
机译:展示的正规数学:Flyspeck Wiki
机译:混凝土和正式教学对混凝土和正式操作基础数学学生(少数)的效果。
机译:知识空间中的定向运动:维基百科数学的双曲几何
机译:展示的正式数学:Flyspeck的Wiki
机译:数学表达显示控制装置,数学表达显示控制方法和计算机可读介质记录数学表达显示控制程序
机译:数学公式显示控制装置,数学公式显示控制方法和数学公式显示控制程序
机译:数学表达式显示控制装置,数学表达式显示控制方法以及记录数学表达式显示控制程序的计算机可读介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。